inverse homomorphism in regular languages